#ifndef COMPLETION_PRINT_UTILS_H_
#define COMPLETION_PRINT_UTILS_H_

void print_subsumers(NormalizedAtomicConcept* ac);

void print_subsumer_lists();

#endif
